1. A prosentential theory of truth /
پدیدآورنده : Dorothy Grover.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Language and languages-- Philosophy.,Proposition (Logic),Truth.,Language and languages-- Philosophy.,PHILOSOPHY-- Epistemology.,Proposition (Logic),Truth.
رده :
BC171
.
G76
1992eb
2. Advocacy and opposition :
پدیدآورنده : Karyn Charles Rybacki, Donald Jay Rybacki.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.,Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.
رده :
P301
.
5
.
P47
R93
2012
3. Aristotle's Categories And De Interpretatione
پدیدآورنده : \ Translated With Notes By J. L. Ackrill
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق,مقولات, -- متون قدیمی تا ۱۸۰۰م.,Logic - Early Works to 1800 ,Proposition (Logic),Categories (Philosophy),گزاره (منطق)
رده :
BC28
.
A7A7
4. Aristotle's Categories and de Interpretatione
پدیدآورنده : / Translated with notes by J.L. Ackrill
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Categories (Philosophy),Proposition (Logic),Logic - Early Works to 1800
رده :
B438
.
A5
,
A65
5. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : / Jan Krajicek
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Constructive mathematics.,Proposition (Logic),Computational complexity.
رده :
QA
,
9
.
56
,.
K73
,
1995
6. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : Krajicek, Jan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
7. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
8. Classical and nonclassical logics : an introduction to the mathematics of propositions
پدیدآورنده : Schechter, Eric, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Philosophy ، Mathematics,، Proposition )Logic(
رده :
QA
9
.
3
.
S33C56
9. From naming to saying
پدیدآورنده : / Martha I. Gibson
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Proposition (Logic),Grammar, Comparative and general--Sentences
رده :
BC
,
181
,.
G46
,
2004
10. From naming to saying :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proposition (Logic) ;
11. From naming to saying: The unity of the proposition
پدیدآورنده : Martha I. Gibson
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Grammar, Comparative and general- Sentences,Proposition )Logic(
رده :
415
G448F
12. From naming to saying: The unity of the proposition
پدیدآورنده : Gibson, Martha I
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Proposition )Logic(,Sentences ، Grammar, Comparative and general
رده :
BC
181
.
N3
13. From naming to saying: the unity of the proposition
پدیدآورنده : Gibson, Martha I.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proposition )Logic(,Sentences ، Grammar, Comparative and general
رده :
BC
181
.
G46
2004
14. From naming to saying : the unity of the proposition
پدیدآورنده : Gibson, Martha I.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proposition )Logic(,، Grammar, Comparative and general -- Sentences
رده :
BC
181
.
G52F7
15. From naming to saying :the unity of the proposition
پدیدآورنده : Gibson, Martha I.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Proposition )Logic(,Sentences ، Grammar, Comparative and general
رده :
BC181
.
G46
2004
16. Gentzen calculi for modal propositional logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proposition (Logic) ; Propositional calculus. ;
17. Ibn Sina und die peripatetische "Aussagenlogik"
پدیدآورنده : von Miklos Maroth
کتابخانه: Library of Iranology of Islamic Parliament (Tehran)
موضوع : Ebn Sina, Hoseyn ebn Abd Allah, 980-1037. Contributions in propositional logic,Proposition (Logic) - History,Peripatetics,Logic, Medieval
رده :
B
,
751
,.
Z7
,
M35
18. Judgment and proposition :from Descartes to Kant
پدیدآورنده : Nuchelmans, Gabriغel.
کتابخانه: Library of Mofid University (Qom)
موضوع : History ، Judgment )Logic(,History ، Proposition )Logic(,، Logic, Modern
رده :
BC181
.
N78
1983
19. Logic :
پدیدآورنده : BarCharts, Inc.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic -- Outlines, syllabi, etc.,Proposition (Logic),Syllogism.
رده :
BC71
.
B373
2001
20. New thinking about propositions /
پدیدآورنده : Jeffrey C. King, Scott Soames, Jeff Speaks
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proposition (Logic)
رده :
BC181
.
K564
2014eb